TSTP Solution File: ITP023^3 by Mace4---1109a